CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

含有任意多个椭圆孔弹性板的应力场计算

本文应用弹性力学的复变函数理论,用多保角变换的方法,导出了含有任意多个椭圆孔的无限大弹性板多复变量应力函数的表达式。每个孔的大小、位置和孔边作用的载荷均为任意指定。板的无限远处作用有和坐标轴方向一致的均匀拉压载荷P_x,P_y和均匀剪切载荷P_(xy)。并在孔边进行复Fourier级数展开,用待定系数法确定应力函数的未知系数,从而计算弹性板的应力场。编制了相应的FORTRAN77标准化程序,进行了考题和算例分析,给出了级数的收敛状况和孔边周向应力的分布图。     

网络化DNC系统的嵌入式解决方法

叙述了在网络化DNC系统中引入嵌入式系统方案的必要性;在试验验证的基础上,提出了一套基于嵌入式系统的设计方法,以解决在网络化DNC系统构建过程中存在的现场数控设备多样性信息化特征之间互不兼容的问题。     

rom 15 sel

with primary goat embryonic fibroblast showed no difference from traditional feederlayer-based culture method used in mouse and human. The putative primary EG colonies were multilayer clumps ofcompact cel     

Sustained data recording system based on disk array

Most sustained data recording systems in many real-time fields are based on tape equipments. We have developed an innovative sustained data recording system based on disk array which consists of Array Controller Module (ACM), String Controller Module (SCM) and Main Controller Module (MCM). This system has a better performance and higher reliability than the traditional tape recorder and can be used conveniently in many areas of data recording, storing, playback, and remote backup. This novel recording system has been used in radar data recorder for spacecraft orbit tracking and satellite remote sensing data recording successfully.     

数控车削加工仿真系统结构研究

根据实际加工情况提出了一种虚拟NC车削加工的仿真系统的设计及实现原理。在Visual C++平台上利用OpenGL技术建立虚拟加工机床数字化模型,用C++语言实现物理仿真相关的各个数学模型的建立,进行虚拟环境下数控车削加工的几何仿真及物理仿真,实现产品的虚拟车削制造。     

On adaptive multiband signal detection with the SMI algorithm

In a nonstationary and/or nonhomogeneous interference environment, an adaptive system for target detection may suffer a severe performance degradation due to the lack of a sufficient amount of data from which the system can learn (estimate) the statistics of the environment. The detection performance of an adaptive system, which employs a frequency diversity (multiband) signaling waveform and a multiband sample matrix inversion algorithm (SMI), is analyzed. By comparison with the corresponding single-band system under the chosen system constraint, it is shown that the multiband system can significantly outperform the single band when the amount of data available from a single frequency band is severely limited by the environment     

飞机导管标志研究与改进

分析了飞机各管路系统中导管标带识别、涂色识别和印章识别传统方法的不足，提出了采用激光刻制导管图号标记的新方法，阐明其基本原理和方法，并与传统方法作了比较分析。激光刻制方法使设计人员不用再在图样上注明导管的标志和辅助标志，减轻了设计的工作量，提高了工作效率，缩短了导管制造周期；同时减轻了飞机的重量，改善飞机性能；标记清晰、美观易认，有利于飞机的检查和维修。     

各拉丹东聆听长江源头的声音

6621米，也许很多人渴望去征服它、挑战它，当人们登临山之巅，心中一定会是非常的平静，他们感受到的是来自长江初源的寒冷的温暖。但更多的人，会站在远处默默地凝视着这6621米的山峰——有着敬畏、有着崇拜——它是那么的美丽：率领大小山峰像一列洁白的长城横亘在远处，高贵而大方，神圣而不可侵犯。[编者按]     

全天球实时恒星模拟器技术

阐述了研制全天球实时恒星模拟器的意义以及国内外发展趋势,介绍第二代恒星模拟器的系统组成、特点、技术指标以及解决的技术问题。